Under what conditions are two utterances utterances of the same word? What are words? That these questions have not received much attention is rather surprising: after all, philosophers and linguists frequently appeal to considerations about word and sentence identity in connection with a variety of puzzles and problems that are foundational to the very subject matter of philosophy of language and linguistics.1 Kaplan’s attention to words is thus to be applauded. And there is no doubt that his discussion contains many (...) useful insights. Nevertheless, we find his picture deeply flawed for a variety of crosscutting reasons. Our aim in this paper is to further advance an understanding of the nature of words, both by remedying the problems with Kaplan’s account, and also by achieving a suitable perspective on what the metaphysical investigation of word identity can hope to achieve. Our discussion divides into four parts. In Part One, we examine and critique Kaplan’s discussion of a contrast integral to his own account: that between the type-token and the stage-continuant conceptions of words. In Part Two, we present three constraints on any account of words and two further themes in Kaplan’s discussion central to his conception of words – the role of repetition and the constitutive authority of intentions. While these ideas have laudable motivations, we argue they are far from the best way of making good on the insights that drive them. The final two sections take a skeptical turn. In Part Three, we express doubt about Kaplan’s presumption of the importance of what he calls ‘common currency names’, thus raising a suspicion that he may be in pursuit of chimera. Finally, in Part Four, we express pessimism about whether interesting answers to question above will be forthcoming, and suggest that the legitimacy of our word ontology need not depend on the availability of such answers. Along the way, we tease apart a number of metaphysical questions in the vicinity of the topic of word individuation – questions that are often not disentangled – and consider how the discussion of the previous parts bears on them.. (shrink)

The foundations of research ethics are riven with fault lines emanating from a fear that if research is too closely connected to weighty social purposes an imperative to advance the common good through research will justify abrogating the rights and welfare of study participants. The result is an impoverished conception of the nature of research, an incomplete focus on actors who bear important moral responsibilities, and a system of ethics and oversight highly attuned to the dangers of research but largely (...) silent about threats of ineffective, inefficient, and inequitable medical practices and health systems. -/- In For the Common Good: Philosophical Foundations of Research Ethics, Alex John London defends a conception of the common good that grounds a moral imperative with two requirements. The first is to promote research that generates the information necessary to enable key social institutions to effectively, efficiently, and equitably safeguard the basic interests of individuals. The second is to ensure that research is organized as a voluntary scheme of social cooperation that respects its various contributors' moral claims to be treated as free and equal. Connecting research to the goals of a just social order grounds a framework for assessing and managing research risk that reconciles these requirements and justifies key oversight practices in non-paternalistic terms. Reconceiving research ethics as resolving coordination problems and providing credible assurance that these requirements are being met expands the issues and actors that fall within the purview of the field and provides the foundation for a more unified and coherent approach to domestic and international research. -/- This is an open access title available under the terms of a CC BY-NC-ND 4.0 license. It is free to read at Oxford Scholarship Online and offered as a free PDF download from OUP and selected open access locations. (shrink)

Intuitively, the knowledge of one’s own intentional actions is different from the knowledge of actions of other sorts, including those of other people and unintentional actions of one's own. But how are we to understand this phenomenon? Does it pertain to all actions, under every description under which they are known? If so, then how is this possible? If not, then how should we think about cases that are exceptions to this principle? This paper is a critical survey of recent (...) attempts to answer these questions. I consider views under three headings: "special source" views, which hold that the knowledge of one's intentional actions has a non-perceptual source; "special domain" views, which hold that some but not all aspects of one's intentional actions are known in a special way; and "special character" views, which hold that the knowledge of intentional actions is special not because of where it comes from, but because of some other respect in which it is different in kind from the knowledge of other things. (shrink)

We present Backward Clock, an original counterexample to Robert Nozick’s truth-tracking analysis of propositional knowledge, which works differently from other putative counterexamples and avoids objections to which they are vulnerable. We then argue that four ways of analysing knowledge in terms of safety, including Duncan Pritchard’s, cannot withstand Backward Clock either.

A collaborative article by the Editorial Collective of Social Imaginaries. Investigations into social imaginaries have burgeoned in recent years. From ‘the capitalist imaginary’ to the ‘democratic imaginary’, from the ‘ecological imaginary’ to ‘the global imaginary’ – and beyond – the social imaginaries field has expanded across disciplines and beyond the academy. The recent debates on social imaginaries and potential new imaginaries reveal a recognisable field and paradigm-in-the-making. We argue that Castoriadis, Ricoeur, and Taylor have articulated the most important theoretical frameworks (...) for understanding social imaginaries, although the field as a whole remains heterogeneous. We further argue that the notion of social imaginaries draws on the modern understanding of the imagination as authentically creative. We contend that an elaboration of social imaginaries involves a significant, qualitative shift in the understanding of societies as collectively and politically-instituted formations that are irreducible to inter-subjectivity or systemic logics. After marking out the contours of the field and recounting a philosophical history of the imagination, the essay turns to debates on social imaginaries in more concrete contexts, specifically political-economic imaginaries, the ecological imaginary, multiple modernities and their inter-civilisational encounters. The social imaginaries field imparts powerful messages for the human sciences and wider publics. In particular, social imaginaries hold significant implications for ontological, phenomenological and philosophical anthropological questions; for the cultural, social, and political horizons of contemporary worlds; and for ecological and economic phenomena. The essay concludes with the argument that social imaginaries as a paradigm-in-the-making offers valuable means by which movements towards social change can be elucidated as well providing an open horizon for the critiques of existing social practices. (shrink)

In this paper I discuss critically Richard Swinburne’s concept of God, which I find to be incoherent, and his understanding of Christianity, which I find to be based on a precritical use of the New Testament.

Conception and causation are fundamental notions in Spinoza's metaphysics. I argue against the orthodox view that, due to the causal axiom, if one thing is conceived through another thing, then the second thing causes the first thing. My conclusion forces us to rethink Spinoza's entitlement to some of his core commitments, including the principle of sufficient reason, the parallelism doctrine and the conatus doctrine.

An advanced artificial intelligence could pose a significant existential risk to humanity. Several research institutes have been set-up to address those risks. And there is an increasing number of academic publications analysing and evaluating their seriousness. Nick Bostrom’s superintelligence: paths, dangers, strategies represents the apotheosis of this trend. In this article, I argue that in defending the credibility of AI risk, Bostrom makes an epistemic move that is analogous to one made by so-called sceptical theists in the debate about the (...) existence of God. And while this analogy is interesting in its own right, what is more interesting are its potential implications. It has been repeatedly argued that sceptical theism has devastating effects on our beliefs and practices. Could it be that AI-doomsaying has similar effects? I argue that it could. Specifically, and somewhat paradoxically, I argue that it could amount to either a reductio of the doomsayers position, or an important and additional reason to join their cause. I use this paradox to suggest that the modal standards for argument in the superintelligence debate need to be addressed. (shrink)

Spinoza's causal axiom is at the foundation of the Ethics. I motivate, develop and defend a new interpretation that I call the ‘causally restricted interpretation’. This interpretation solves several longstanding puzzles and helps us better understand Spinoza's arguments for some of his most famous doctrines, including his parallelism doctrine and his theory of sense perception. It also undermines a widespread view about the relationship between the three fundamental, undefined notions in Spinoza's metaphysics: causation, conception and inherence.

While researchers in business ethics, moral philosophy, and jurisprudence have advanced the study of corporate agency, there have been very few attempts to bring together insights from these and other disciplines in the pages of the Journal of Business Ethics. By introducing to an audience of business ethics scholars the work of outstanding authors working outside the field, this interdisciplinary special issue addresses this lacuna. Its aim is to encourage the formulation of innovative arguments that reinvigorate the study of corporate (...) agency and stimulate further cross-fertilization of ideas between business ethics, law, philosophy, and other disciplines. (shrink)

Background: Besides regulatory learning skills, learning also requires students to relate to their social context and negotiate it as they transition and adjust to medical training. As such, there is a need to consider and explore the role of social and cultural aspects in student learning, particularly in problem-based learning, where the learning paradigm differs from what most students have previously experienced. In this article, we report on the findings of a study exploring first-year medical students’ experiences during the first (...) semester of an undergraduate problem-based learning medical program at an African medical school. Method: We employed a qualitative case study approach using in-depth interviews with 23 first-year medical students. Participants ranged in age from 18 to 25 years. All students were bi/multilingual (some spoke three to five languages), with English as the learning language. We conducted an inductive thematic analysis to systematically identify and analyze patterns in the data using the Braun and Clarke framework. Results: Before medical school, students worked hard to compete for admission to medical school, were primarily taught using a teacher-centered approach, and preferred working alone. At the beginning of medical school, students found it challenging to understand the problem-based learning process, the role of the case, speaking and working effectively in a group, managing a heavy workload, and taking increased responsibility for their learning. By the end of the first semester, most students were handling the workload better, were more comfortable with their peers and facilitators, and appreciated the value of the problem-based learning approach. Conclusions: Our study highlights the importance of interrogating contextual sociocultural factors that could cause tension when implementing problem-based learning in non-western medical schools. Adjustment to problem-based learning requires a conceptual and pedagogic shift towards learner-centered practice, particularly concerning self direction, the role of the case, and collaborative learning. As such, there is a need to develop and implement research informed learning development programs that enable students to reflect on their sociocultural beliefs and practices, and enhance their regulatory learning competence to optimize meaningful and early engagement with the problem based learning process. (shrink)

Contrary to common misconceptions, today's logic is not devoid of existential import: the universalized conditional ∀ x [S→ P] implies its corresponding existentialized conjunction ∃ x [S & P], not in all cases, but in some. We characterize the proexamples by proving the Existential-Import Equivalence: The antecedent S of the universalized conditional alone determines whether the universalized conditional has existential import, i.e. whether it implies its corresponding existentialized conjunction.A predicate is an open formula having only x free. An existential-import predicate (...) Q is one whose existentialization, ∃ x Q, is logically true; otherwise, Q is existential-import-free or simply import-free.How abundant or widespread is existential import? How abundant or widespread are existential-import predicates in themselves or in comparison to import-free predicates? We show that existential-import predicates are quite abundant, and no less so than import-free predicates. Existential.. (shrink)

In this paper I will take it for granted that Zagzebski's position articulates a broadly Catholic perspective, and that Plantinga's position accurately represents a broadly Calvinist one. But I will argue that so construed, the Catholic and the Calvinist are much closer than Zagzebski implies: both views are person-based in an important sense of that term; both are internalist on Zagzebski's usage and externalist on the standard usage; and Plantinga's position is consistent with the social elements that Zagzebski stresses in (...) her view. In the second part of the paper I will identify what I think is the real issue between Zagzebski and Plantinga. Namely, Zagzebski thinks that knowledge requires epistemic responsibility, in the sense that instances of knowledge must be appropriately praiseworthy. Plantinga thinks that no such condition is required for knowledge or warranted belief. I will argue that on this issue Zagzebski is right, and that her virtue approach gives us resources for seeing why. Finally, I will look at the consequences for religious knowledge. Here I will argue that the consequences are minimal. Even if knowledge requires responsibility, Plantinga can still make a good case that religious belief is properly basic. And even if religious belief is properly basic, natural theology can still have an important role in the justification of religious belief. (shrink)

“Second-order Logic” in Anderson, C.A. and Zeleny, M., Eds. Logic, Meaning, and Computation: Essays in Memory of Alonzo Church. Dordrecht: Kluwer, 2001. Pp. 61–76. -/- Abstract. This expository article focuses on the fundamental differences between second- order logic and first-order logic. It is written entirely in ordinary English without logical symbols. It employs second-order propositions and second-order reasoning in a natural way to illustrate the fact that second-order logic is actually a familiar part of our traditional intuitive logical framework and (...) that it is not an artificial formalism created by specialists for technical purposes. To illustrate some of the main relationships between second-order logic and first-order logic, this paper introduces basic logic, a kind of zero-order logic, which is more rudimentary than first-order and which is transcended by first-order in the same way that first-order is transcended by second-order. The heuristic effectiveness and the historical importance of second-order logic are reviewed in the context of the contemporary debate over the legitimacy of second-order logic. Rejection of second-order logic is viewed as radical: an incipient paradigm shift involving radical repudiation of a part of our scientific tradition, a tradition that is defended by classical logicians. But it is also viewed as reactionary: as being analogous to the reactionary repudiation of symbolic logic by supporters of “Aristotelian” traditional logic. But even if “genuine” logic comes to be regarded as excluding second-order reasoning, which seems less likely today than fifty years ago, its effectiveness as a heuristic instrument will remain and its importance for understanding the history of logic and mathematics will not be diminished. Second-order logic may someday be gone, but it will never be forgotten. Technical formalisms have been avoided entirely in an effort to reach a wide audience, but every effort has been made to limit the inevitable sacrifice of rigor. People who do not know second-order logic cannot understand the modern debate over its legitimacy and they are cut-off from the heuristic advantages of second-order logic. And, what may be worse, they are cut-off from an understanding of the history of logic and thus are constrained to have distorted views of the nature of the subject. As Aristotle first said, we do not understand a discipline until we have seen its development. It is a truism that a person's conceptions of what a discipline is and of what it can become are predicated on their conception of what it has been. (shrink)

The five English words—sentence, proposition, judgment, statement, and fact—are central to coherent discussion in logic. However, each is ambiguous in that logicians use each with multiple normal meanings. Several of their meanings are vague in the sense of admitting borderline cases. In the course of displaying and describing the phenomena discussed using these words, this paper juxtaposes, distinguishes, and analyzes several senses of these and related words, focusing on a constellation of recommended senses. One of the purposes of this paper (...) is to demonstrate that ordinary English properly used has the resources for intricate and philosophically sound investigation of rather deep issues in logic and philosophy of language. No mathematical, logical, or linguistic symbols are used. Meanings need to be identified and clarified before being expressed in symbols. We hope to establish that clarity is served by deferring the extensive use of formalized or logically perfect languages until a solid “informal” foundation has been established. Questions of “ontological status”—e.g., whether propositions or sentences, or for that matter characters, numbers, truth-values, or instants, are “real entities”, are “idealizations”, or are “theoretical constructs”—plays no role in this paper. As is suggested by the title, this paper is written to be read aloud. -/- I hope that reading this aloud in groups will unite people in the enjoyment of the humanistic spirit of analytic philosophy. (shrink)

The general area of business and professional ethics is full of vexing and confusing problems. For example, questions concerning the im portance of ethical standards, whether ethics is unnecessary given appropriate legal enforcement, whether it is imperative to teach ethical behavior in professional education, and similar questions are all controversial. The specific ethical problems to be found in the areas of accounting and finance are at least as difficult as those in other areas. However, there is one kind of ethical (...) problem which is unusually prominent in finance and accounting, which deserves to be recognized more widely in ethics as a significant kind of issue. This is the problem of conflicts of interest. (shrink)

Translated from: Searle, J. R. 'Social Ontology: some basic principles'. Anthopological Theory, 2006, Vol. 6, issue 1, pp.51-71.

A key and continuing concern within the pragma-dialectical theory of argumentation is how to account for effective persuasion disciplined by dialectical rationality. Currently, van Eemeren and Houtlosser offer one response to this concern in the form of strategic manoeuvring. This paper offers a prior/passing theory of communicative interaction as a supplement to the strategic manoeuvring approach. Our use of a prior/passing model investigates how a difference of opinion can be resolved while both dialectic obligations of reasonableness and rhetorical ambitions of (...) argumentative success are simultaneously accommodated. The paper explores the model with particular reference to the pragma-dialectical rules of critical discussion, strategic manoeuvring and fallacious reasoning. (shrink)

Climate negotiations under the United Nations Framework Convention on Climate Change have so far failed to achieve a robust international agreement to reduce greenhouse gas emissions. Game theory has been used to investigate possible climate negotiation solutions and strategies for accomplishing them. Negotiations have been primarily modelled as public goods games such as the Prisoner’s Dilemma, though coordination games or games of conflict have also been used. Many of these models have solutions, in the form of equilibria, corresponding to possible (...) positive outcomes—that is, agreements with the requisite emissions reduction commitments. Other work on large-scale social dilemmas suggests that it should be possible to resolve the climate problem. It therefore seems that equilibrium selection may be a barrier to successful negotiations. Here we use an N-player bargaining game in an agent-based model with learning dynamics to examine the past failures of and future prospects for a robust international climate agreement. The model suggests reasons why the desirable solutions identified in previous game-theoretic models have not yet been accomplished in practice and what mechanisms might be used to achieve these solutions. (shrink)

The meaning of an utterance is often enriched by the pragmatic context in which it is uttered. This is because in ordinary conversations we routinely and uncontroversially compress what we say, safe in the knowledge that those interpreting us will ‘add in’ the content we intend to communicate. Does the same thing hold true in the case of legal utterances like ‘This constitution protects the personal rights of the citizen’ or ‘the parliament shall have the power to lay and collect (...) taxes’? This article addresses this question from the perspective of the constitutional originalist—the person who holds that the meaning of a constitutional text is fixed at some historical moment. In doing so, it advances four theses. First, it argues that every originalist theory is committed to some degree of pragmatic enrichment, the debate is about how much. Second, that in determining which content gets ‘added in’, originalists typically hold to a common knowledge standard for enrichment, protestations... (shrink)

A book Review of Artificial Knowing Gender and the Thinking Machine, by Alison Adam, Routledge: Taylor and Francis, 1998.

This work treats the correlative concepts knowledge and opinion, in various senses. In all senses of ‘knowledge’ and ‘opinion’, a belief known to be true is knowledge; a belief not known to be true is opinion. In this sense of ‘belief’, a belief is a proposition thought to be true—perhaps, but not necessarily, known to be true. All knowledge is truth. Some but not all opinion is truth. Every proposition known to be true is believed to be true. Some but (...) not every proposition believed to be true is known to be true. Our focus is thus on propositional belief (“belief-that”): the combination of propositional knowledge (“knowledge-that”) and propositional opinion (“opinion-that”). Each of a person’s beliefs, whether knowledge or opinion, is the end result of a particular thought process that continued during a particular time interval and ended at a particular time with a conclusive act—a judgment that something is the case. This work is mainly about beliefs in substantive informative propositions—not empty tautologies. We also treat objectual knowledge (knowledge of objects in the broadest sense, or “knowledge-of”), operational knowledge (abilities and skills, “knowledge-how-to”, or “know-how”), and expert knowledge (expertise). Most points made in this work have been made by previous writers, but to the best of our knowledge, they have never before been collected into a coherent work accessible to a wide audience. -/- Key words: belief, knowledge/opinion, propositional, operational, objectual, cognition, . (shrink)

In Social Imaginaries, vol. 1, nr. 1 (Spring 2015) due out in May 2015.

Contemporary philosophy and theoretical psychology are dominated by an acceptance of content-externalism: the view that the contents of one's mental states are constitutively, as opposed to causally, dependent on facts about the external world. In the present work, it is shown that content-externalism involves a failure to distinguish between semantics and pre-semantics---between, on the one hand, the literal meanings of expressions and, on the other hand, the information that one must exploit in order to ascertain their literal meanings. It is (...) further shown that, given the falsity of content-externalism, the falsity of the Computational Theory of Mind (CTM) follows. It is also shown that CTM involves a misunderstanding of terms such as "computation," "syntax," "algorithm," and "formal truth." Novel analyses of the concepts expressed by these terms are put forth. These analyses yield clear, intuition-friendly, and extensionally correct answers to the questions "what are propositions?, "what is it for a proposition to be true?", and "what are the logical and psychological differences between conceptual (propositional) and non-conceptual (non-propositional) content?" Naively taking literal meaning to be in lockstep with cognitive content, Burge, Salmon, Falvey, and other semantic externalists have wrongly taken Kripke's correct semantic views to justify drastic and otherwise contraindicated revisions of commonsense. (Salmon: What is non-existent exists; at a given time, one can rationally accept a proposition and its negation. Burge: Somebody who is having a thought may be psychologically indistinguishable from somebody who is thinking nothing. Falvey: somebody who rightly believes himself to be thinking about water is psychologically indistinguishable from somebody who wrongly thinks himself to be doing so and who, indeed, isn't thinking about anything.) Given a few truisms concerning the differences between thought-borne and sentence-borne information, the data is easily modeled without conceding any legitimacy to any one of these rationality-dismantling atrocities. (It thus turns out, ironically, that no one has done more to undermine Kripke's correct semantic points than Kripke's own followers!). (shrink)

Philosophy is the science of the science; it is the analysis of the assumptions underlying empirical inquiry. Given that these assumptions cannot possibly be examined or even identified on the basis of empirical data, it follows that philosophy is a non-empirical discipline. And given that our linguistic and cultural practices cannot possibly be examined or even identified except on the basis of empirical data, it follows that philosophical questions are not linguistic questions and do not otherwise concern our conventions or (...) our cultural practices. This entails that philosophical truths are not tautologous or otherwise trivial. It also entails that empiricism is false and, therefore, that Platonism is correct. Given a clear understanding of why Platonism is correct and of what this implies, a number of shibboleths of contemporary analytic philosophy are speedily demolished and are no less speedily replaced with independently corroborated and intuitively plausible alternatives. New answers are given to age-old questions concerning scientific explanation, causal and logical dependence, linguistic meaning, personal identity, the structure of the psyche, and the nature of personal responsibility. Existing answers to these question are thoroughly considered and duly extended, modified, or replaced. Every technical term is defined; every philosophy-specific concept is explained; and the positions defended are consistent with commonsense, so far as their being consistent with the relevant data allows them to be. Therefore, this book is intelligible to philosophically minded laymen. At the same time, it is appropriate for advanced scholars, given that it defends original viewpoints and given also that, even though it discusses old viewpoints, it does so in new ways. Because it is clearly written, it is intelligible to neophytes; but it is not an introductory text and it is not a textbook. There are two appendices: the first, a thorough exposition of the rudiments of formal logic, along with the conceptual underpinnings of that discipline; the second, a definition and analytic discussion of each technical term that occurs in the text. Most of the chapters are followed by study-questions and by practice tests. (shrink)

This new, inexpensive translation of Plato's Apology of Socrates is an alternative to the 19th-century Jowett translation that students find online when they're trying to save money on books. Using the 1995 Oxford Classical Text and the commentaries of John Burnet and James Helm, I aimed to produce a 21st-century English translation that is both true to Plato's Greek and understandable to college students in introductory philosophy, political theory, and humanities courses. The book also includes a new translation of (...) the death scene from Plato's Phaedo, a short introduction, a dozen explanatory notes, advice on how to cite Plato in papers, and suggestions for further reading. Search for "Plato Armstrong" in Apple Books (epub ISBN 9781957448022) and Amazon (paperback ISBN 9781957448008, Kindle ISBN 9781957448015). (shrink)

Information-theoretic approaches to formal logic analyze the "common intuitive" concepts of implication, consequence, and validity in terms of information content of propositions and sets of propositions: one given proposition implies a second if the former contains all of the information contained by the latter; one given proposition is a consequence of a second if the latter contains all of the information contained by the former; an argument is valid if the conclusion contains no information beyond that of the premise-set. This (...) paper locates information-theoretic approaches historically, philosophically, and pragmatically. Advantages and disadvantages are identified by examining such approaches in themselves and by contrasting them with standard transformation-theoretic approaches. Transformation-theoretic approaches analyze validity (and thus implication) in terms of transformations that map one argument onto another: a given argument is valid if no transformation carries it onto an argument with all true premises and false conclusion. Model-theoretic, set-theoretic, and substitution-theoretic approaches, which dominate current literature, can be construed as transformation-theoretic, as can the so-called possible-worlds approaches. Ontic and epistemic presuppositions of both types of approaches are considered. Attention is given to the question of whether our historically cumulative experience applying logic is better explained from a purely information-theoretic perspective or from a purely transformation-theoretic perspective or whether apparent conflicts between the two types of approaches need to be reconciled in order to forge a new type of approach that recognizes their basic complementarity. (shrink)

Tarski’s Convention T—presenting his notion of adequate definition of truth (sic)—contains two conditions: alpha and beta. Alpha requires that all instances of a certain T Schema be provable. Beta requires in effect the provability of ‘every truth is a sentence’. Beta formally recognizes the fact, repeatedly emphasized by Tarski, that sentences (devoid of free variable occurrences)—as opposed to pre-sentences (having free occurrences of variables)—exhaust the range of significance of is true. In Tarski’s preferred usage, it is part of the meaning (...) of true that attribution of being true to a given thing presupposes the thing is a sentence. Beta’s importance is further highlighted by the fact that alpha can be satisfied using the recursively definable concept of being satisfied by every infinite sequence, which Tarski explicitly rejects. Moreover, in Definition 23, the famous truth-definition, Tarski supplements “being satisfied by every infinite sequence” by adding the condition “being a sentence”. Even where truth is undefinable and treated by Tarski axiomatically, he adds as an explicit axiom a sentence to the effect that every truth is a sentence. Surprisingly, the sentence just before the presentation of Convention T seems to imply that alpha alone might be sufficient. Even more surprising is the sentence just after Convention T saying beta “is not essential”. Why include a condition if it is not essential? Tarski says nothing about this dissonance. Considering the broader context, the Polish original, the German translation from which the English was derived, and other sources, we attempt to determine what Tarski might have intended by the two troubling sentences which, as they stand, are contrary to the spirit, if not the letter, of several other passages in Tarski’s corpus. (shrink)

Girolamo Saccheri (1667--1733) was an Italian Jesuit priest, scholastic philosopher, and mathematician. He earned a permanent place in the history of mathematics by discovering and rigorously deducing an elaborate chain of consequences of an axiom-set for what is now known as hyperbolic (or Lobachevskian) plane geometry. Reviewer's remarks: (1) On two pages of this book Saccheri refers to his previous and equally original book Logica demonstrativa (Turin, 1697) to which 14 of the 16 pages of the editor's "Introduction" are devoted. (...) At the time of the first edition, 1920, the editor was apparently not acquainted with the secondary literature on Logica demonstrativa which continued to grow in the period preceding the second edition \ref[see D. J. Struik, in Dictionary of scientific biography, Vol. 12, 55--57, Scribner's, New York, 1975]. Of special interest in this connection is a series of three articles by A. F. Emch [Scripta Math. 3 (1935), 51--60; Zbl 10, 386; ibid. 3 (1935), 143--152; Zbl 11, 193; ibid. 3 (1935), 221--333; Zbl 12, 98]. (2) It seems curious that modern writers believe that demonstration of the "nondeducibility" of the parallel postulate vindicates Euclid whereas at first Saccheri seems to have thought that demonstration of its "deducibility" is what would vindicate Euclid. Saccheri is perfectly clear in his commitment to the ancient (and now discredited) view that it is wrong to take as an "axiom" a proposition which is not a "primal verity", which is not "known through itself". So it would seem that Saccheri should think that he was convicting Euclid of error by deducing the parallel postulate. The resolution of this confusion is that Saccheri thought that he had proved, not merely that the parallel postulate was true, but that it was a "primal verity" and, thus, that Euclid was correct in taking it as an "axiom". As implausible as this claim about Saccheri may seem, the passage on p. 237, lines 3--15, seems to admit of no other interpretation. Indeed, Emch takes it this way. (3) As has been noted by many others, Saccheri was fascinated, if not obsessed, by what may be called "reflexive indirect deductions", indirect deductions which show that a conclusion follows from given premises by a chain of reasoning beginning with the given premises augmented by the denial of the desired conclusion and ending with the conclusion itself. It is obvious, of course, that this is simply a species of ordinary indirect deduction; a conclusion follows from given premises if a contradiction is deducible from those given premises augmented by the denial of the conclusion---and it is immaterial whether the contradiction involves one of the premises, the denial of the conclusion, or even, as often happens, intermediate propositions distinct from the given premises and the denial of the conclusion. Saccheri seemed to think that a proposition proved in this way was deduced from its own denial and, thus, that its denial was self-contradictory (p. 207). Inference from this mistake to the idea that propositions proved in this way are "primal verities" would involve yet another confusion. The reviewer gratefully acknowledges extensive communication with his former doctoral students J. Gasser and M. Scanlan. ADDED 14 March 14, 2015: (1) Wikipedia reports that many of Saccheri's ideas have a precedent in the 11th Century Persian polymath Omar Khayyám's Discussion of Difficulties in Euclid, a fact ignored in most Western sources until recently. It is unclear whether Saccheri had access to this work in translation, or developed his ideas independently. (2) This book is another exemplification of the huge difference between indirect deduction and indirect reduction. Indirect deduction requires making an assumption that is inconsistent with the premises previously adopted. This means that the reasoner must perform a certain mental act of assuming a certain proposition. It case the premises are all known truths, indirect deduction—which would then be indirect proof—requires the reasoner to assume a falsehood. This fact has been noted by several prominent mathematicians including Hardy, Hilbert, and Tarski. Indirect reduction requires no new assumption. Indirect reduction is simply a transformation of an argument in one form into another argument in a different form. In an indirect reduction one proposition in the old premise set is replaced by the contradictory opposite of the old conclusion and the new conclusion becomes the contradictory opposite of the replaced premise. Roughly and schematically, P,Q/R becomes P,~R/~Q or ~R, Q/~P. Saccheri’s work involved indirect deduction not indirect reduction. (3) The distinction between indirect deduction and indirect reduction has largely slipped through the cracks, the cracks between medieval-oriented logic and modern-oriented logic. The medievalists have a heavy investment in reduction and, though they have heard of deduction, they think that deduction is a form of reduction, or vice versa, or in some cases they think that the word ‘deduction’ is the modern way of referring to reduction. The modernists have no interest in reduction, i.e. in the process of transforming one argument into another having exactly the same number of premises. Modern logicians, like Aristotle, are concerned with deducing a single proposition from a set of propositions. Some focus on deducing a single proposition from the null set—something difficult to relate to reduction. (shrink)

Suppose you're unable to discriminate the colors of two objects. According to the triangulation view, their colors might nonetheless look different to you, and that's something you can discover as a result of further comparisons. The primary motivation for this view is its apparent ability to solve a puzzle involving a series of pairwise indiscriminable objects. I argue that, due to visual noise, the triangulation view doesn't really solve the puzzle.

English translation of an entry on pages 137–42 of the Spanish-language dictionary of logic: Luis Vega, Ed. Compendio de Lógica, Argumentación, y Retórica. Madrid: Trotta. -/- DEDICATION: To my friend and collaborator Kevin Tracy. -/- This short essay—containing careful definitions of ‘counterargument’ and ‘counterexample’—is not an easy read but it is one you’ll be glad you struggled through. It contains some carefully chosen examples suitable for classroom discussion. -/- Using the word ‘counterexample’ instead of ‘counterargument’ in connection with Aristotle’s invalidity (...) proofs leads to a misinterpretation of Aristotle’s intentions. The two relations expressed by these two words are drastically different—as explained in this essay. There is however a subtle overlap: Every argument that is a counterargument for a given argument is a counterexample to the universal proposition that every argument in the same form as the given argument is valid. The word ‘counterexample’ was coined in the 1800s. The word ‘counterargument’ was given this sense in the 1960s. Saying that one argument is a counterexample for another argument is bad English—taking the word ‘counterexample’ in its Standard English sense. The word ‘counterinstance’ is an exact synonym for ‘counterexample’. Which logic books define ‘counterinstance’ or ‘counterexample’? Who started using ‘counterinstance’ or ‘counterexample’ in the sense of ‘counterargument’? Did they note that they were not using the word in the Standard sense? Why did it catch on? -/- Also see: https://www.academia.edu/8840909/Argumentations_and_logic_1989_ . (shrink)

Theory of Computation -- Computation by Abstracts Devices.

The word 'reason' as used today is used ambiguous in its meaning. It may denote either of two mental faculties: a lower reason associated with discursive, linear thinking, and a higher reason associated with direct apprehension of first principles of mathematics and logic, and possibly also of moral and religious truths. These two faculties may be provisionally named Reason (higher reason) and rationality (lower reason). Common language and personal experience supply evidence of these being distinct faculties. So does classical philosophical (...) literature, the locus classicus being Plato's Divided Line analogy. -/- The effect of currently using a single word to denote both faculties not only produces confusion, but has had the effect of decreasing personal and cultural awareness of the higher faculty, Reason. Loss of a sense of Reason has arguably contributed to various psychological, social, moral, and spiritual problems of the modern age. This issue was also a central concern of 19th century Transcendentalists, who reacted to the radical empiricism of Locke. It would be advantageous to adopt consistent terms that make explicit a distinction between higher and lower reason. One possibility is to re-introduce the Greek philosophical terms nous and dianoia for the higher and lower reason, respectively. This discussion has certain parallels with the recent theories of McGilchrist (2009) concerning the increasingly left-brain hemisphere orientation of human culture. (shrink)

The text “Language and Social Reality” is translated here from the work of John R. Searle: The Construction of Social Reality (The Free Press: New York, 1995. Chapter 3: Language and Social Reality. pp. 59–78.

This essay discusses the ambitious plans of one Dmitry Itskov who by 2045 wishes to see immortality achieved by way of Artificial Brains and Holographic Bodies. I discuss the ethical implications of such a possibility coming to pass.

This is an essay discussing the ideal of Information Socialism. Information Socialism is an ideology inspired by Aaron Swartz and is the belief that information should be redistributed freely across the globe. I argue that such a practice would not only strengthen our reins on government here in the U.S., but can also have beneficial economic effects both at home and abroad.

Ernesto Genoni (1885-1975) pioneered biodynamic agriculture in Australia. In 1928 he was the first of (ultimately) twelve Australians to join Rudolf Steiner’s Experimental Circle of Anthroposophical Farmers and Gardeners (ECAFG) which was based at the Goetheanum, Dornach, Switzerland. Ernesto trained as an artist for five years at Milan’s prestigious Brera Academy. He visited his brothers in Australia, broad-acre immigrant farmers in Western Australia, in 1912 and 1914 and during these visits he worked on their, and other’s, farms. In 1916 he (...) enlisted in the Australian Imperial Force (AIF) and served as a stretcher bearer on the battlefields of the Somme, France, before being conscripted into the Italian Army and serving jail-time in Italy as a draft resister and conscientious objector. Ernesto joined the Anthroposophical Society in Milan in 1919. He first met Rudolf Steiner in 1920 at the Goetheanum, the Anthroposophy headquarters in Switzerland. Ernesto left the Goetheanum in 1924 when Steiner retired from public life. He migrated to Australia in 1926 with aspirations for establishing a career as an artist in Australia. Instead, having arrived in Australia, he was again drawn into farm management and agricultural work. Ernesto was a champion for biodynamic agriculture, Anthroposophy, and the Austrian New Age philosopher, Rudolf Steiner - causes to which he devoted the rest of his life. In 1928 he initiated the first Anthroposophy meetings in Melbourne. In 1930 Ernesto made a grand tour of biodynamic enterprises in Europe and met the leading biodynamics advocates and practitioners of the day in Germany, Switzerland and England, including Ehrenfried Pfeiffer, Erika Riese, Ernst Stegemann, and Carl Mirbt. In 1935 Ernesto and his partner, Ileen Macpherson, who was also an anthroposophist and a member of the ECAFG, began their biodynamic farm called Demeter Biological Farm in Dandenong, Victoria. Ernesto was a founder of the Anthroposophical Society Victoria Michael Group in 1932, and he became its leader in 1962. (shrink)

Make it easy to say 'yes'. The first rule to get your research published is to make life easy for the editor and the reviewers. The task for an author is ultimately a narrative task - to succinctly and engagingly tell the story of what you did, why you did it, what you found, and why we should care - and making it clear why the paper is within the scope of the journal. The more carefully and meticulously a paper (...) is prepared - including spelling, punctuation, grammar, structure, completeness and internal consistency - the more likely it is to be published and the quicker it will appear in print. (shrink)

This dissertation identifies and explains four major contributions of the Laws and related late dialogues to Plato's moral and political philosophy. -/- Chapter 1: I argue that Plato thinks the purpose of laws and other social institutions is the happiness of the city. A happy city is one in which the city's parts, i.e. the citizens, are unified under the rule of intelligence. Unlike the citizens of the Republic, the citizens of the Laws can all share the same true judgments (...) of value, and this unanimity explains the city's unity. Plato thinks that aiming at the city's happiness is justified, moreover, because a unified city contributes to the universe's order. -/- Chapter 2: In the Laws, Plato holds that the sick, poor, ugly, weak, but virtuous are happy, and that health, wealth, beauty, and strength benefit the virtuous but harm the vicious. Only in the Laws does Plato commit himself to all these claims simultaneously, and I explain how the moral psychology of the Laws permits Plato to maintain them coherently. -/- Chapter 3: I argue that, in the Laws, becoming virtuous is the same as becoming like God. Becoming like God does not require escape from the world of change as it does in the Theaetetus, however. Rather, becoming like God requires bringing "measure" or appropriate order to the world of change, especially to those entities over which we have the most control—our own souls. In the Laws, citizens achieve this order as they learn to be just and to understand the nature of reality. -/- Chapter 4: Unlike the Republic and Statesman, the Laws holds that obedience of the citizens to their laws should be effected, if possible, with rational persuasion. I argue that Plato wishes such persuasion to educate the citizens of the reasons for the laws. Understanding the laws' justification is the principal way in which citizens acquire the good judgment necessary for virtue. The city becomes more happy as the citizens progress in virtue, so rational persuasion is a necessary means to the lawgiver's overall aim. (shrink)

In lieu of an abstract, here is a brief excerpt of the content:Reviewed by:Spectres of False Divinity: Hume’s Moral AtheismJohn J. TilleyThomas Holden. Spectres of False Divinity: Hume’s Moral Atheism. Oxford-New York: Oxford University Press, 2010. Pp. xvi + 246. Cloth, $50.00.Thomas Holden argues that a key element of David Hume’s irreligious agenda is his case for moral atheism. According to Holden, Hume defends (conclusively, Hume believes) not merely weak moral atheism, according to which there is no morally praiseworthy deity, (...) but strong moral atheism, according to which there is no deity with any moral characteristics. The idea here is that if any being approximates the traditional notion of God as a first cause or designer, it cannot meet the preconditions for having moral attributes. Holden also discusses arguments that some might expect to be central to Hume’s case but which, according to Holden, are not. For instance, Holden maintains that Hume does not even endorse the evidential argument from evil, let alone use it to support moral atheism. Instead, Hume intends it as a parody of traditional natural theology. Holden closes with several points about the historical and philosophical import of Hume’s moral atheism.Right from the start, Holden faces challenges. How can he square his interpretation of Hume as a moral atheist with Hume’s repeated strictures against theological speculation? And how can he square his interpretation with the fact that Hume never explicitly advocates moral atheism?Holden skillfully meets these challenges. Regarding the first challenge, for example, he distinguishes “core natural theology,” which aims at knowledge of the deity’s distinctive, intrinsic properties, from “liminal natural theology,” which lacks such aims. This distinction, Holden contends, reconciles two elements of Hume’s philosophy that seem to conflict. The first is Hume’s rejection of theological speculation as beyond our cognitive capacities. The second is Hume’s frequent willingness to draw conclusions about divine attributes. Holden argues that although Hume’s strictures against theological speculation pertain to [End Page 297] core natural theology, they are not aimed at liminal natural theology—that is, at speculation about the deity’s non-distinctive or relational properties. Hume’s defense of moral atheism, Holden believes, falls within liminal natural theology.After addressing challenges to his reading of Hume, Holden discusses Hume’s arguments for strong moral atheism. These do not stand out in Hume’s writings (though many of their components do), but Holden finds them there. He does so not through overly imaginative reconstruction but through careful interpretation, with an eye on many texts.Hume’s first argument, the “argument from sentimentalism,” draws on Hume’s theory of the passions and his sentimentalist metaethics. Holden reconstructs it as follows. S1: The deity is not a natural object of any human passion. S2: Moral sentiments are a species of human passion. S3: If a being is not a natural object of the moral sentiments, then it cannot have moral attributes (either virtues or vices). Therefore, S4: The deity cannot have moral attributes. The first premise is the least familiar of the three, and Holden devotes considerable effort to clarifying it, examining Hume’s rationale for it, and addressing objections to it. He performs similar tasks regarding S2, S3, and the argument in general. For instance, he addresses at length three possible objections to the argument, his concern being that if they were sufficiently damaging (he argues that they are not), this might tell against interpreting Hume as advancing the argument.Hume’s second argument, the “argument from motivation,” goes roughly as follows. Although we know nothing about the deity’s distinctive intrinsic properties, we have good reason to think that most likely, the deity (like any unknown being picked out in advance) lacks a sentimental nature anything like ours. But without a sentimental nature akin to ours, a being’s behavior is not intelligible in human terms—for example, it cannot be said to reflect moral concern or such motives as malice and benevolence. And if a being’s behavior is not intelligible in human terms, that being is not morally assessable, which is to say that it lacks moral attributes. Thus, we should conclude that the deity most likely lacks such attributes. Holden... (shrink)

This is an excellent book that deserves careful attention from anyone whose work touches on issues in the philosophy of mind and action. In it, Marcus challenges the dominant philosophical conception of the mind’s place in nature, according to which mentalistic explanations hold true only when mental states or events cause things to happen in the same way as physical states and events do. Against this conception, Marcus argues that mental causation is utterly dissimilar to most of the causation we (...) find in the physical realm, and that psychological achievements like believing and acting for reasons should be understood as manifestations of the rational ability self-consciously to represent good-making relations as holding between propositions and actions. (shrink)

John Clarke of Hull, one of the eighteenth century's staunchest proponents of psychological egoism, defended that theory in his Foundation of Morality in Theory and Practice. He did so mainly by opposing the objections to egoism in the first two editions of Francis Hutcheson's Inquiry into Virtue. But Clarke also produced a challenging, direct argument for egoism which, regrettably, has received virtually no scholarly attention. In this paper I give it some of the attention it merits. In addition to (...) reconstructing it and addressing interpretive issues about it, I show that it withstands a tempting objection. I also show that although Clarke's argument ultimately fails, to study it is instructive. It illuminates, for example, Hutcheson's likely intentions in a passage relevant to egoism. (shrink)

This publication offers the first critical edition of John Buridan’s second set of questions on Aristotle's “De generatione et corruptione”. The edition was made by Michiel Streijger, Paul Bakker and Hans Thijssen. First published as a printed book in 2010, the publication has been converted to open access with the CC BY-NC-ND license as of September 2023.

In this paper, I transcend the abstract engagement of J. L. Austin's Speech Acts theory and explore their sociopolitical advantages, using the Nigerian social space as my primary experimental field. Nigerian social space is quite hierarchical and progresses along apparently asymmetrical lines of social relationship (in most cases). This in turn, accentuates some sort of power dynamics. In every communication, there is an implicit reinforcement of the social fabric as well as the power dynamic, either through one person's percep6of the (...) social status of the other or, of one's emphasis of power dynamic over the other. Austin's theory comes to the fore as a very laudable framework to map this interesting sociological facts. This work then, offers a philosophical contribution to an otherwise, sociological/anthropological fact. My job in this paper, is to explore a sociopolitical negotiation of Austin's theory in a multiethnic nation-state as Nigeria where hierarchy and power dynamics are heavily emphasized. This paper thus highlights the importance of the perlocutionary acts and the felicity conditions, and also accentuates their implications for social interactions and power dynamics in the Nigerian social space. (shrink)